Revision: tla-tools--devo--0--patch-52
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Tue Apr 27 08:32:27 JST 2004
Standard-date: 2004-04-26 23:32:27 GMT
Modified-files: ChangeLog tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-52
Summary: tla-update-ids: Always operate relative to project tree-root

We use `tla tree-lint' to list files to act on, and tree-lint always
operates relative to the tree-root.
